Functional languages - PDFSEARCH.IO - Document Search Engine

Functional languages
Results: 3400

#	Item
511	Where are you going with those types? Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen PLT / Northeastern University Boston, MA, USA Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 15:00:00 Computer arithmetic Functional languages Racket Floating point Computing Software engineering Computer programming
512	FoCaLiZe Reference ManualOctober 2014 Add to Reading List Source URL: focalize.inria.fr Language: English - Date: 2014-10-13 13:13:51 Cross-platform software Procedural programming languages Coq Compiler OCaml Programming language Formal methods C Logic programming Software Computing Functional languages
513	SCIEnce: The Project Software Composability Symbolic computing on Grid User training and knowledge dissemination SCIEnce : Add to Reading List Source URL: www-circa.mcs.st-and.ac.uk Language: English - Date: 2009-08-13 06:52:04 Cross-platform software Functional languages Grid computing Symbolic computation Mathematica Composability Research Institute for Symbolic Computation Service-oriented architecture Maple Software Mathematical software Computing
514	Experience Report: Applying Random Testing to a Base Type Environment Vincent St-Amour Neil Toronto Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 14:59:59 Data types Type theory Computer arithmetic Functional languages Primitive types Type system Racket Floating point Primitive data type Software engineering Computing Programming language theory
515	From "Ahlan wa Sahlan: Letters and Sounds of the Arabic Language" Ahlan wa Sahlan Functional Modern Standard Arabic for Beginners Second Edition Letters and Sounds of the Arabic Language Add to Reading List Source URL: yalepress.yale.edu Language: English - Date: 2014-08-26 09:02:47 Orthography Tatar language Linguistics Latin script Chinese romanization Yale Romanization Sudanese Arabic Shin Ra Arabic languages Arabic alphabets Latin alphabets
516	Mint: A Multi-stage Extension of Java COMP 600 Mathias Ricken Rice University February 8, 2010 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2010-02-09 20:56:36 Functional programming Subroutines C++ Procedural programming languages C++ classes Lambda C Anonymous function C Sharp syntax Software engineering Computer programming Computing
517	From "Ahlan wa Sahlan: Letters and Sounds of the Arabic Language" Ahlan wa Sahlan Functional Modern Standard Arabic for Beginners Second Edition Letters and Sounds of the Arabic Language Add to Reading List Source URL: yalepress.yale.edu Language: English - Date: 2014-08-26 09:02:01 Languages of Asia Semitic languages Languages of Sudan Languages of Libya Persian letters Sudanese Arabic Che Arabic alphabet Libyan Arabic Arabic letters Languages of Africa Arabic languages
518	Interaction-Safe State for the Web Jay McCarthy Shriram Krishnamurthi Brown University Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:16 Continuations Control flow Web application frameworks Functional languages Cross-platform software Web service Frame Call-with-current-continuation Seaside Computing Software engineering Computer programming
519	Qlisp: Parallel Processing in Lisp Ron Goldman and Richard P. Gabriel Lucid, Inc. Abstract One of the major problems in writing programs to take advantage of parallel processing Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 15:55:50 Functional languages Lisp programming language Procedural programming languages Parallel computing Lisp Degree of parallelism Actor model Parallel Extensions Futures and promises Computing Software engineering Computer programming
520	Queue-based Multi-processing Lisp Richard P. Gabriel John McCarthy Stanford University Add to Reading List Source URL: www.dreamsongs.com Language: English - Date: 2012-08-04 15:56:35 Lisp programming language Functional programming Functional languages Lambda calculus Lisp Subroutines Closure Eval Cons Software engineering Computing Computer programming

UPDATE